An Extension of SWCL to Represent Logical Implication Knowledge under Semantic Web Environment
نویسندگان
چکیده
منابع مشابه
Logical s-t Min-Cut Problem: An Extension to the Classic s-t Min-Cut Problem
Let $G$ be a weighted digraph, $s$ and $t$ be two vertices of $G$, and $t$ is reachable from $s$. The logical $s$-$t$ min-cut (LSTMC) problem states how $t$ can be made unreachable from $s$ by removal of some edges of $G$ where (a) the sum of weights of the removed edges is minimum and (b) all outgoing edges of any vertex of $G$ cannot be removed together. If we ignore the second constraint, ca...
متن کاملAn Integrated Visualization Environment for Semantic Web
In this paper, we present an integrated Semantic Web interactive visualization environment (ISWIVE) to incorporate the topic features from Topic Maps into RDF. Both the detailed resource descriptions and the overall topic relationship can be clearly visualized in ISWIVE. Besides, an interactive local viewer and visual query interface facilitate browsing and searching over the Semantic Web resou...
متن کاملTowards Semantic Knowledge Mapping: an Extension of Compendium with Semantic Knowledge Representation
Compendium is a knowledge mapping application equipped with graphical representations of ideas and arguments. Extension of the processes in Compendium with Semantic Web technologies can be beneficial for the intelligent searching of concepts or ideas, and supporting decision making process. This paper presents the extended Compendium which exploits the Semantic Web for knowledge representation ...
متن کاملKnowledge discovery – semantic web
Knowledge management is a process which comprises knowledge discovery, knowledge collection, knowledge organization and knowledge process. Among these four process knowledge discovery is integrated with semantic web for enhanced information retrivel. Knowledge discovery is the process of automatically searching large volume of data for patterns that can be considered knowledge about the data. T...
متن کاملConceptions of Logical Implication*
This is a survey paper of approaches to the concept of logical implication. Roughly stated the main motivation of these approaches is to provide a necessary and sufficient condition for a set of propositions to logically imply a single proposition. In regard to their affinities these approaches are grouped into two: the transformational conception and the informational conception. Some approach...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korean Operations Research and Management Science Society
سال: 2014
ISSN: 1225-1119
DOI: 10.7737/jkorms.2014.39.3.007